Object Constraint Language

Results: 132



#Item
91Software / Unified Modeling Language / Software development methodology / Model-based design / Object Constraint Language / Modeling language / Software development process / Conceptual model / Process / Software development / Scientific modeling / Science

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems Sean Whitsitt Jonathan Sprinkle

Add to Reading List

Source URL: www.dsmforum.org

Language: English - Date: 2014-10-10 07:33:44
92Data modeling / Software design / XML Metadata Interchange / Meta-Object Facility / Object Management Group / Object Constraint Language / Java Metadata Interface / Unified Modeling Language / ISO standards / Software engineering

FAMIX: Exchange Experiences with CDIF and XMI Sander Tichelaar St´ephane Ducasse Serge Demeyer

Add to Reading List

Source URL: scg.unibe.ch

Language: English - Date: 2000-07-20 08:22:17
93Software maintenance / Software development / Metamodeling / Object Constraint Language / Design / Systems engineering / Unified Modeling Language / Software engineering / Software evolution

JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION: RESEARCH AND PRACTICE J. Softw. Maint. Evol.: Res. Pract. 2006; 18:207–236 Prepared using smrauth.cls [Version: [removed]v1.1] Research Modeling History to Analyze

Add to Reading List

Source URL: scg.unibe.ch

Language: English - Date: 2006-06-28 19:43:35
94Computing / Data modeling / XML Metadata Interchange / Meta-Object Facility / Object Management Group / XML / Object Constraint Language / Java Metadata Interface / Unified Modeling Language / ISO standards / Software engineering

FAMIX and XMI  Sander Tichelaar St´ephane Ducasse Serge Demeyer

Add to Reading List

Source URL: scg.unibe.ch

Language: English - Date: 2001-03-07 10:55:52
95Software development / Model-driven architecture / Diagram / Activity diagram / Object Constraint Language / Activity / Domain-specific modeling / Modeling language / Unified Modeling Language / Software engineering / Data modeling

ePubWU Institutional Repository Stefan Sobernig and Bernhard Hoisl and Mark Strembeck Protocol for a Systematic Literature Review on Design Decisions for UMLbased DSMLs Paper Original Citation:

Add to Reading List

Source URL: epub.wu.ac.at

Language: English - Date: 2015-02-11 12:47:53
96Software development / Meta-Object Facility / Stereotype / Modeling language / Domain-specific modeling / Metamodeling / Activity / Diagram / Object Constraint Language / Unified Modeling Language / Software engineering / Data modeling

ePubWU Institutional Repository Bernhard Hoisl and Stefan Sobernig and Mark Strembeck A Catalog of Reusable Design Decisions for Developing UML/MOF-based Domain-specific Modeling Languages Paper

Add to Reading List

Source URL: epub.wu.ac.at

Language: English - Date: 2015-02-11 12:47:39
97Formal languages / Parsing / Control flow / Expr / Object Constraint Language / Attribute grammar / Foreach loop / Iterator / Objective-C / Computing / Software engineering / Computer programming

OCL Quick Reference Summary

Add to Reading List

Source URL: www.artechra.com

Language: English - Date: 2011-02-04 17:57:59
98Theoretical computer science / Software engineering / VIATRA / GReAT / Model transformation / Action / Object Constraint Language / GrGen / Unified Modeling Language / Graph rewriting / Mathematics

The Graph Rewriting and Transformation Language: GReAT

Add to Reading List

Source URL: www.isis.vanderbilt.edu

Language: English - Date: 2009-09-17 15:02:03
99Computing / ISO standards / Scientific modeling / Domain-specific modeling / Metamodeling / Modeling language / Object Constraint Language / Generic Modeling Environment / Entity-relationship model / Software engineering / Unified Modeling Language / Data modeling

Towards Two-Level Formal Modeling of Computer-Based Systems Gabor Karsai (Vanderbilt University, Nashville TN [removed])

Add to Reading List

Source URL: www.isis.vanderbilt.edu

Language: English - Date: 2008-06-17 12:09:05
100Software / Object Constraint Language / Code refactoring / Alloy Analyzer / ECO / Alloy / Economic model / Formal methods / Unified Modeling Language / Software development

Computer Science Technical Report Analyzing Behavioral Refactoring of Class Models Wuliang Sun

Add to Reading List

Source URL: www.cs.colostate.edu

Language: English - Date: 2013-06-03 14:05:30
UPDATE